<!-- functionPlaceholder2 -->
<html>
Type inference failed:
<table>
<tr>
  <td width="10%"></td>
  <td align="right" colspan="2" style="white-space:nowrap;font-weight:bold;"><b>fun</b> <`T, R> foo</td>
  <td style="white-space:nowrap;font-weight:bold;">(</td>
  <td align="right" style="white-space:nowrap;font-weight:bold;">a: A<`T, R></td>
  <td style="white-space:nowrap;font-weight:bold;">)</td>
  <td style="white-space:nowrap;font-weight:bold;">: A<`T, R></td>
</tr>
<tr>
  <td colspan="7" style="white-space:nowrap;">cannot be applied to</td>
</tr>
<tr>
  <td width="10%"></td>
  <td style="white-space:nowrap;"></td>
  <td style="white-space:nowrap;"></td>
  <td style="white-space:nowrap;"><b>(</b></td>
  <td align="right" style="white-space:nowrap;"><font color=red><b>(???) &rarr; ???</b></font></td>
  <td style="white-space:nowrap;"><b>)</b></td>
</tr>
</table>
</html>